bitkeeper revision 1.868 (4083e83c-_BTzCUkGyO_-jRGzSENLg)

Merge ssh://srg//auto/groups/xeno/BK/xeno.bk
into equilibrium.research.intel-research.net:/home/irchomes/mwilli2/src/xeno.bk

diff --cc .rootkeys
Simple merge

diff --cc tools/examples/xc_dom_control.py
Simple merge

diff --cc tools/xc/py/Xc.c
Simple merge

diff --cc xen/common/sched_atropos.c
Simple merge